Symbolic Computing in Probabilistic and Stochastic Analysis
نویسندگان
چکیده
منابع مشابه
Symbolic Computing In Probabilistic And Stochastic Analysis
The main aim is to present recent developments in applications of symbolic computing in probabilistic and stochastic analysis, and this is done using the example of the well-known MAPLE system. The key theoretical methods discussed are (i) analytical derivations, (ii) the classical Monte-Carlo simulation approach, (iii) the stochastic perturbation technique, as well as (iv) some semi-analytical...
متن کاملSymbolic Probabilistic Analysis of Off-Line Guessing
We introduce a probabilistic framework for the automated analysis of security protocols. Our framework provides a general method for expressing properties of cryptographic primitives, modeling an attacker more powerful than conventional Dolev-Yao attackers. It allows modeling equational properties of cryptographic primitives as well as property statements about their weaknesses, e.g. primitives...
متن کاملthe stady and analysis of rice agroclimatology in lenjan
the west of esfahan province, iran, is one of the most important agricultural areas throughout the country due to the climate variability and life-giving water of zayanderood river. rice is one of the major and economic crops in this area. the most important climatic elements in agricultural activities which should be considered include temperature, relative humidity, precipitation and wind. so...
15 صفحه اولStochastic satisfiability modulo theories: a symbolic technique for the analysis of probabilistic hybrid systems
In today’s high-tech world, embedded computer systems interacting with technical, physical, or even biological environments are our permanent companions. While several of these applications are almost free of risk and just contribute to a better quality of life such as the use of cellular phones, washing machines, and refrigerators, other embedded systems operate in a safety-critical context wh...
متن کاملComputing Bisimulations for Stochastic Process Algebras using Symbolic Representations
Stochastic process algebras have been introduced in order to enable compositional performance analysis. The size of the state space is a limiting factor, especially if the system consists of many cooperating components. To fight state space explosion, various proposals for compositional aggregation have been made. They rely on minimisation with respect to a congruence relation. This paper addre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Applied Mathematics and Computer Science
سال: 2015
ISSN: 2083-8492
DOI: 10.1515/amcs-2015-0069